<?php
$all = file("history.txt");
$countall = count($all);
echo("$countall");
?>	
